Cosa (chi) è constraint programming - definizione
Constraint programming
PROGRAMMING PARADIGM WHEREIN RELATIONS BETWEEN VARIABLES ARE STATED IN THE FORM OF CONSTRAINTS
Constraint solving toolkit; Constraint solver; List of logic programming based constraint logic languages; Babelsberg (programming language); Constraint programming language; List of constraint programming libraries; Constraint modeling language
Constraint programming (CP) is a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer science, and operations research. In constraint programming, users declaratively state the constraints on the feasible solutions for a set of decision variables.
Constraint Logic Programming
PROGRAMMING PARADIGM WHICH COMBINES LOGIC PROGRAMMING AND CONSTRAINT SATISFACTION
Constraint Logic Programmimg; Constraint store; Constraint-logic programming; Finite constraint; Finite domain constraint; Constraint Logic Programming; CLP(FD)
(CLP) A programming framework based (like Prolog) on LUSH
(or SLD) resolution, but in which unification has been
replaced by a constraint solver. A CLP interpreter
contains a Prolog-like inference engine and an {incremental
constraint solver}. The engine sends constraints to the
solver one at a time. If the new constraint is consistent
with the collected constraints it will be added to the set.
If it was inconsistent, it will cause the engine to
backtrack.
CLP* is a variant.
["Constraint Logic Programming", J. Jaffar et al, 14th POPL,
ACM 1987 ].
(1994-11-01)
Constraint logic programming
PROGRAMMING PARADIGM WHICH COMBINES LOGIC PROGRAMMING AND CONSTRAINT SATISFACTION
Constraint Logic Programmimg; Constraint store; Constraint-logic programming; Finite constraint; Finite domain constraint; Constraint Logic Programming; CLP(FD)
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses.
